Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2h
🧮Z3 Solver
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Janet Feature Demos
github.com·20m·
Discuss: Lobsters
🧠Lisp Dialects
Inheritance over composition, sometimes
death.andgravity.com·23h
🦀Rust Macros
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·15h·
Discuss: Hacker News, r/programming
🔒Type Safety
Parsing Safetensors File Format in C
leetarxiv.substack.com·15h·
Discuss: Substack, r/programming
✅Format Verification
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·13h
🎯Gradual Typing
GoLang 101: Getting Started with Go
dev.to·1h·
Discuss: DEV
🧠Lisp Dialects
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
oapi-codegen v2.5.0 is out
github.com·13h·
Discuss: r/golang
📜Proof Carrying Code
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·3d
🔗Static Linking